module SymbolSystem where